<?php
  
  http::httpDownloadFile("[php_property:url]", "[php_property:filename]");
  
  
?>
